home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
t3_1
/
risc_src.lha
/
risc_sources
/
tman
/
semantics.aux
< prev
next >
Wrap
Latex Auxiliary File
|
1990-10-02
|
1KB
|
35 lines
\relax
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}Syntax and semantics}{17}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{chapter:semantics}{{2}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}External representation}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Core language}{18}}
\newlabel{section:coreLanguage}{{2.2}{18}}
\newlabel{CallSemantics}{{2.2}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}The standard environment}{18}}
\newlabel{section:standardEnvironment}{{2.3}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}Undefined}{19}}
\newlabel{section:undefinedSemantics}{{2.4}{19}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.5}Multiple values}{19}}
\newlabel{section:multipleValues}{{2.5}{19}}
\global\@namedef{cp@semantics}{
\setcounter{page}{20}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
}